KOMPILE_FLAGS=-w2e -w all -Wno useless-rule
KOMPILE_BACKEND=llvm

include ../../../include/kframework/ktest-fail.mak
